Update kotlin version to 2.1.0 #230
Conversation
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| override fun resolve(position: Position): Maybe<CommonValue> = when (position) { | ||
| This -> Maybe.some(getThisInstance(method)) | ||
| override fun resolve(position: Position): Maybe<CommonValue> = with(traits) { | ||
| when (position) { |
Check warning
Code scanning / detekt
Braces do not comply with the specified policy Warning
| override fun resolve(position: Position): Maybe<AccessPath> = when (position) { | ||
| This -> convertToPathOrNull(getThisInstance(method)).toMaybe() | ||
| override fun resolve(position: Position): Maybe<AccessPath> = with(traits) { | ||
| when (position) { |
Check warning
Code scanning / detekt
Braces do not comply with the specified policy Warning
| if (config != null) { | ||
| val facts = mutableSetOf<Tainted>() | ||
| val conditionEvaluator = FactAwareConditionEvaluator( | ||
| traits, fact, CallPositionToValueResolver(traits, callStatement) |
Check warning
Code scanning / detekt
Reports incorrect argument list wrapping Warning
| if (config != null) { | ||
| val facts = mutableSetOf<Tainted>() | ||
| val conditionEvaluator = FactAwareConditionEvaluator( | ||
| traits, fact, CallPositionToValueResolver(traits, callStatement) |
Check warning
Code scanning / detekt
Reports incorrect argument list wrapping Warning
| // the callee (when it is going to be analyzed), i.e. through "call-to-start" and | ||
| // "exit-to-return" flow functions. |
Check warning
Code scanning / detekt
Reports methods that have an empty first line. Warning
usvm-python/usvm-python-annotations/src/main/kotlin/org/usvm/annotations/Utils.kt
Dismissed
Show dismissed
Hide dismissed
| if (deleteFrom.left == null) { | ||
| val succ = deleteFrom.succ() | ||
| checkNotNull(succ) | ||
| return removeRec(succ.value, deleteFrom.right) { k(deleteFrom.update(value = succ.value, right = it).balanceAfterRemove()) } |
Check warning
Code scanning / detekt
Line detected, which is longer than the defined maximum line length in the code style. Warning
| if (deleteFrom.left == null) { | ||
| val succ = deleteFrom.succ() | ||
| checkNotNull(succ) | ||
| return removeRec(succ.value, deleteFrom.right) { k(deleteFrom.update(value = succ.value, right = it).balanceAfterRemove()) } |
Check warning
Code scanning / detekt
Reports missing newlines (e.g. between parentheses of a multi-line function call Warning
|
|
||
| val pred = deleteFrom.pred() | ||
| checkNotNull(pred) | ||
| return removeRec(pred.value, deleteFrom.left) { k(deleteFrom.update(value = pred.value, left = it).balanceAfterRemove()) } |
Check warning
Code scanning / detekt
Line detected, which is longer than the defined maximum line length in the code style. Warning
|
|
||
| val pred = deleteFrom.pred() | ||
| checkNotNull(pred) | ||
| return removeRec(pred.value, deleteFrom.left) { k(deleteFrom.update(value = pred.value, left = it).balanceAfterRemove()) } |
Check warning
Code scanning / detekt
Reports missing newlines (e.g. between parentheses of a multi-line function call Warning
CaelmBleidd
force-pushed
the
caelmbleidd/update_kotlin_version
branch
from
556fa95 to
703b36c
Compare
No description provided.